jade.content
Class Variable

java.lang.Object
  |
  +--jade.content.Variable

public class Variable

extends java.lang.Object

implements Term

Author:

Federico Bergenti - Universita` di Parma

Constructor Summary

Variable()
Constructor

Method Summary

java.lang.String	getName() Gets the name.
java.lang.String	getTypeName() Gets the name of the type.
void	setName(java.lang.String name) Sets the name.
void	setTypeName(java.lang.String name) Sets the name of the type.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Variable

public Variable()

Constructor

Method Detail

setName

public void setName(java.lang.String name)

Sets the name.

Parameters:

name - the name.

getName

public java.lang.String getName()

Gets the name.

Returns:

the name.

setTypeName

public void setTypeName(java.lang.String name)

Sets the name of the type.

Parameters:

name - the name of the type.

getTypeName

public java.lang.String getTypeName()

Gets the name of the type.

Returns:

the name of the type.